COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.device xgp
C00012 ENDMK
C⊗;
.device xgp
.turn on "%"
.FONT 1 "Basi30"
.FONT 2 "basl30"
.Font 3 "metlb"
.Font 4 "basb30"
.nofill
.turn on "#";

.begin center
%3The 1980 LISP Conference 

Stanford, August 25-27, 1980
.end


%4Invited Address: 9:00 to 9:30, August 25, 1980
%2John McCarthy, Stanford University  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .


%4Session 1: 9:30 to 10:20, August 25, 1980 #########Chaired by Richard Fateman, U. C. Berkeley

%1Symbolic Computing with and without LISP  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 
%2J. Campbell, University of Exeter and J. Fitch, University of Bath  

%1Prose and CONS - Multics Emacs: A Commercial Text-processing System in LISP . . . . . . . . . 
%2B. Greenberg, Honeywell


%4Session 2: 10:45 to 12:00, August 25, 1980 #########Chaired by Daniel Friedman, Indiana University

%1Explicit Parallelism in LISP-like Languages  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 
%2G. Prini, University of Pisa

%1Continuation-Based Multiprocessing   . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
%2M. Wand, Indiana University

%1MULTI - A LISP Based Multiprocessing System  . . . . . . . . . . . . . . . . . . . . . . . . . . . .
%2D. McKay and S. Shapiro, SUNY at Buffalo


%4Session 3: 1:30 to 3:10, August 25, 1980 #########Chaired by Carolyn Talcott, Stanford University

%1The Function-Class . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
%2T. Kurokawa, Japan   

%1A Constructive Alternative to Axiomatic Data Type Definitions  . . . . . . . . . . . . . . . . . .
%2R. Cartwright, Cornell University

%1A Semantic Comparison of LISP and SCHEME . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
%2S. Muchnick, UC Berkeley  and U. Pleban, University of Kansas

%1MODLISP  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 
%2J. Davenport and  R. Jenks, IBM


%4Session 4: 3:45 to 5:00, August 25, 1980 #########Chaired by Alan Kay, Xerox PARC

%1Extending Object Oriented Programming in Smalltalk . . . . . . . . . . . . . . . . . . . . . . . . . . 
%2I. Goldstein and D. Bobrow, Xerox PARC

%1A System of Communicating Residential Environments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
%2E. Sandewall, H. Sorenson, and C. Stromberg, Linkoping

%1A Session with Tinker: Interleaving Program Testing with Program Writing  . . . . . . . . . . . . . . . . 
%2H. Lieberman and C. Hewitt, MIT


%4Session 5: 9:00 to 10:15, August 26, 1980 #########Chaired by David Wise, Indiana University

%1Computing with Text-Graphics Forms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
%2F. Lakin, Xerox

%1Design of the APIARY for Actor Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
%2C. Hewitt, MIT

%1Address/Memory Management for a Gigantic LISP Environment  . . . . . . . . . . . . . . . . . . . . . . .
%2J. White, MIT


%4Session 6: 10:45 to 12:00, August 26, 1980 #########Chaired by Carl Hewitt, MIT

%1SKIM - The S, K, I Reduction Machine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
%2T. Clarke, P. Gladstone, C. MacLean and A. Norman, Trinity College

%1HOPE: An Experimental Applicative Language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
%2R. Burstall, D. MacQueen, and D. Sannella, University of Edinburgh

%1Computing Cyclic List Structures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 
%2L. Morris, Syracuse University and J. Schwarz, Bell Labs


%4Session 7: 1:30 to 3:10, August 26, 1980 #########Chaired by Anthony Hearn, University of Utah

%1An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP  . . 
%2D. McDermott, Yale University

%1The Dream of a Lifetime: A Lazy Variable Extent Mechanism  . . . . . . . . . . . . . . . . . . . . . .
%2G. Steele Jr. and G. Sussman, MIT

%1Strategies for Data Abstraction in LISP  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 
%2B. Steele, MIT

%1Special Forms in LISP  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 
%2K. Pitman, MIT


%4Session 8: 3:45 to 5:00, August 26, 1980 #########Chaired by Bruce Anderson, Essex University
%1Panel Discussion 



%4Session 9: 8:35 to 10:15, August 27, 1980 #########Chaired by Gianfranco Prini, University of Pisa

%1Multiprocessing via Intercommunicating LISP Systems  . . . . . . . . . . . . . . . . . . . . . . . . . 
%2M. Model, Brandeis University

%1Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems  . . . . . . . . . . . . . . . . . . . . . . . . .
%2R. Keller, University of Utah

%1Compilation Techniques for a Control-Flow Concurrent LISP System . . . . . . . . . . . . . . . . . 
%2J. Marti, University of Utah

%1On Compiling Embedded Languages in LISP  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
%2P. Emanuelson and A. Haraldsson, Linkoping


%4Session 10: 10:45 to 12:25, August 27, 1980 #########Chaired by Eiichi Goto, University of Tokyo

%1A LISP Compiler Producing Compact Code   . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
%2W. Rowan, UC San Francisco

%1Local Optimization in a Compiler for Stack-based LISP Machines   . . . . . . . . . . . . . . . . . .
%2L. Masinter and L. P. Deutsch, Xerox PARC

%1ByteLisp and its Alto Implementation   . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
%2L. P. Deutsch, Xerox PARC

%1Overview and Status of DoradoLISP  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
%2R. Burton, L. Masinter, D. Bobrow, W. Haugeland, R. Kaplan, and B. Sheil, Xerox PARC








%4
U. C. Berkeley

Indiana University


Indiana University




U. C. Berkeley


University of Pisa


University of Tokyo


University of Utah


Essex University


Stanford University

%1 Lexically-Scoped LISP